Interpreting the Projective Hierarchy in Expansions of the Real Line
نویسندگان
چکیده
We give a criterion when an expansion of the ordered set of real numbers defines the image of (R,+, ·,N) under a semialgebraic injection. In particular, we show that for a non-quadratic irrational number α, the expansion of the ordered Q(α)-vector space of real numbers by N defines multiplication on R.
منابع مشابه
Association for Symbolic Logic 2013 Winter
s of invited talks ◮ BRADD HART, John von Neumann, model theorist. Mathematics and Statistics, McMaster University, 1280 Main St., Hamilton ON L8S 4K1, Canada. E-mail: [email protected]. I will survey some of the recent work on the model theory of operator algebras but will pay particular attention to some of the early work of von Neumann that turns out to be very relevant. ◮ PHILIPP HIERONYMI,...
متن کاملOn the real quadratic fields with certain continued fraction expansions and fundamental units
The purpose of this paper is to investigate the real quadratic number fields $Q(sqrt{d})$ which contain the specific form of the continued fractions expansions of integral basis element where $dequiv 2,3( mod 4)$ is a square free positive integer. Besides, the present paper deals with determining the fundamental unit$$epsilon _{d}=left(t_d+u_dsqrt{d}right) 2left.right > 1$$and $n_d$ and $m_d...
متن کاملPseudo Ricci symmetric real hypersurfaces of a complex projective space
Pseudo Ricci symmetric real hypersurfaces of a complex projective space are classified and it is proved that there are no pseudo Ricci symmetric real hypersurfaces of the complex projective space CPn for which the vector field ξ from the almost contact metric structure (φ, ξ, η, g) is a principal curvature vector field.
متن کاملDefining relations of a group $Gamma= G^{3,4}(2,Z)$ and its action on real quadratic field
In this paper, we have shown that the coset diagrams for the action of a linear-fractional group $Gamma$ generated by the linear-fractional transformations $r:zrightarrow frac{z-1}{z}$ and $s:zrightarrow frac{-1}{2(z+1)}$ on the rational projective line is connected and transitive. By using coset diagrams, we have shown that $r^{3}=s^{4}=1$ are defining relations for $Gamma$. Furt...
متن کاملMaximum sum element orders of all proper subgroups of PGL(2, q)
In this paper we show that if q is a power of a prime p , then the projective special linear group PSL(2, q) and the stabilizer of a point of the projective line have maximum sum element orders among all proper subgroups of projective general linear group PGL(2, q) for q odd and even respectively
متن کامل